$e$ is first@ $i$ s.t.  $e$.$P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$loc($e$) $=$ $i$ \& $P$($e$) \& ($\forall$${\it e'}$$<$$e$. $\neg$$P$(${\it e'}$))